基于SCADE的飞控软件的适航验证与确认

中国民用航空规章第25部对机载软件提出了适航要求,DO178B是对适航要求的符合性方法,但其中一些验证和确认目标并不适用于基于SCADE的软件验证。为此,分析了飞控软件的适航要求和符合性方法,并对基于SCADE的飞控软件的开发流程和传统的开发流程进行了分析对比,对基于SCADE的飞控软件的适航验证与确认工作提出了建议。     

民用飞机气动工程估算软件设计与开发

工程估算是飞机概念设计阶段常用的气动力计算方法,其计算效率高,并且满足飞机概念设计的精度要求。工程估算过程涉及大量的图表查阅与数据插值,传统的手动计算存在工作量与人为误差较大的缺点。针对上述问题,在已有工程估算方法的基础上,搭建了气动工程估算数据库,提出了软件的系统架构与组成,设计并开发了基于民用飞机的气动估算软件。软件具有良好图形用户界面,提供了多种输入方式与自动多维插值算法,与手动计算相比,减少了计算工作量,提高了计算效率和精度。以某大型民用飞机为对象,利用软件进行气动工程估算,并与算例的计算流体力学法(CFD)结果进行比较。结果表明:二者结果基本相符,而且计算成本远低于CFD方法。这体现了软件在民机概念设计阶段具有较高的工程实用性。     

非侵入式电机能效在线监测系统软件设计

电机是工业系统中的主要动力输出和耗电设备,发展电机节能和在线监测技术具有重要意义。主要介绍了非侵入式电机能效监测软件系统的组成、设计方法和实现的功能,通过对电机运行状态信息的采集和分析,实现了对电机转速、转矩、功率因数、效率等运行参数的在线监测,并对监测结果进行分析,为电机能源管理提供支持。利用C#编程完成串口通讯,labview8.5完善监控界面,SQL server 2005建立电机监控数据库。实验结果表明该系统运行可靠,操作简单,安全性高。     

基于非参数假设检验的程序缺陷定位方法

调查了西门子测试集中的程序失败用例的规模和谓词评估偏差的分布.结果表明,中心极限定理的前提和参数假设检验的假设条件无法得到普遍满足.所以,已有的基于参数假设检验的方法存在潜在的问题.针对这一现象,提出了基于非参数假设检验定位程序缺陷的方法.实验结果表明,该方法在非正态分布的样本集上仍具有较好的适用性,且在缺陷定位效率上优于已有的基于程序谓词的缺陷定位技术.同时比较了基于2种常用的非参数假设检验模型的缺陷定位方法的效率.一种方法基于Kolmogorov-Smirnov检验,另一种方法基于Cramér-von-Mises准则.比较结果表明,在西门子测试集上,基于Kolmogorov-Smirnov检验的方法在缺陷定位效率上优于基于Cramér-von-Mises准则的方法.     

综合模块化航电软件仿真测试环境研究

 伴随着综合模块化航空电子(IMA)软件在新一代飞机上的应用,其高复杂性、高度综合的特点以及分层的健康监控和故障管理模式给软件测试提出了挑战。传统的仿真测试环境在应对IMA软件测试中难以满足RTCA DO-178B中规定的对验证过程结果的验证的要求。本文在分析IMA软件特点的基础上,根据DO-178B的要求,综合国外的发展情况和国内的研究进展情况,研究综合模块化航电软件仿真测试环境需求,提出了基于软件故障注入的综合模块化航电软件灰盒仿真测试环境方案,并给出优势分析。该仿真测试环境方案以IMA软件为测试对象,应用软件故障注入技术和代码插装技术满足测试规范文件的要求。其具有通用灵活、适配性强、强实时性等特点,为中国新一代航电软件的系统验证和测试奠定了基础。     

I-DEAS软件在单相流体回路辐射器热分析中的应用

以神舟飞船单相流体回路辐射器为例,介绍了采用I-DEAS软件进行辐射器热分析研究的方法,包括建模、划分网格、计算及后处理等,并将仿真分析结果与热试验结果进行了对比。结果表明：采用I-DEAS软件对单相流体回路辐射器热分析具有很好的实用性和计算精度,显著降低了辐射器热分析的难度,并在一定程度上简化了前期设计中热试验验证的需求。     

软件总线体系结构的研究与应用

设计一种轻量级软件总线体系结构,将软件总线思想引入到单机软件系统的定制与集成.软件总线技术源于分布式异构环境搭建提出的,应用于分布式系统.对传统软件总线结构进行改进,采用双总线结构,摒除不必要的分布式功能,使轻量级软件总线成为一种适用于单机环境的软件体系结构.通过创建一个基于轻量级软件总线体系结构的模拟银行服务排队系统,验证轻量级软件总线作为单机软件系统的搭建架构具有可行性.     

CAN总线并发通信时下位机应用软件设计

为满足系统通信中的时间性能要求,设计一种利用中断接收和发送CAN总线数据的通信方法,给出了算法的C语言流程图实现.当增加GPS作为总线主节点发送广播引起CAN并发通信导致硬件中断冲突时,针对并发通信的硬件中断冲突原理作了分析,重新设计了下位机CAN总线通信软件,解决CAN总线并发通信冲突.     

基于Eclipse的航天嵌入式软件集成 开发环境设计与实现

针对当前航天器软件研制过程中需要使用多种开发工具的问题,设计实现了集工程管理、代码编辑、语法检查、编译链接和调试测试于一体的航天嵌入式软件集成开发环境.研究成果已应用于航天器嵌入式软件的研发,缩短了软件研发周期并提高了软件质量,同时也为软件集成开发环境的研发提供借鉴.     

一种军用无线通信性能评估系统设计

文章设计了一种军用无线通信性能评估系统,能够在不同信道环境及各种干扰模式下,对军用无线通信系统的性能指标及可靠性进行检验及评估,包括频率覆盖范围、灵敏度、动态范围、频率分辨率、频率稳定度、抗干扰性、实效性及适应性等。该系统可广泛应用于机动或非机动指挥通信系统方案的验证以及设备性能指标的验证与评估。